first order predicate calculus
英 [fɜːst ˈɔːdə(r) ˈpredɪkət ˈkælkjələs]
美 [fɜːrst ˈɔːrdər ˈpredɪkət ˈkælkjələs]
一阶谓词演算
双语例句
- The system was implemented on a LEO 286 personal computer running under a UCDOS operating system. The programming language is Turbo PROLOG 2.0, which is primarily based on the first order predicate calculus, but permits imperative coding.
该系统选用基于一阶谓词逻辑的TurboProlog2.0版本作为程序设计语言，在UCDOS支持下，在LEO286微机上实现。